If <i>a</i> is algebraic over a field <i>F</i>, then there is a unique monic irreducible polynomial <i>p(x)</i>  in <i>F[x]</i>   such that <i> p(a) = 0</i>.